Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
371	The Conceptual Realism of Nino Cocchiarella Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-20 10:19:01 Analytic philosophers Non-classical logic Model theory Predicate logic Philosophy of mathematics Nino Cocchiarella Intensional logic Problem of universals Modal logic Logic Philosophy Mathematical logic
372	The Metaphysical Interpretation of Logical Truth Add to Reading List Source URL: www.ttahko.net Language: English - Date: 2014-03-03 13:36:59 Theories of truth Veracity Logical consequence Non-classical logic Truth Logical truth Entailment Interpretation Modal logic Logic Philosophy Philosophical logic
373	Volume 8, Number 4 April 2014 www.thereasoner.org ISSN[removed]Contents Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2014-03-31 07:11:26 Philosophical logic Philosophy of mathematics Arguments Critical thinking Fuzzy logic Many-valued logic Proof theory Intuitionism Argumentation theory Logic Mathematical logic Non-classical logic
374	Microsoft Word - BJDP_2019.doc Add to Reading List Source URL: www.fabriceclement.net Language: English - Date: 2011-03-31 15:02:18 Reasoning Epistemology Non-classical logic Philosophical logic Norm Philosophy of law Theory of mind Reason Modal logic Philosophy Logic Science
375	Does Law Matter? Theory and Evidence from Single-Subject Adjudication Add to Reading List Source URL: www.law.virginia.edu Language: English - Date: 2012-02-22 10:34:51 Mathematical logic Non-classical logic Categorical proposition Propositions United States Constitution Single-subject rule Category of being Modal logic New legal realism Logic Ontology Traditional logic
376	S S l/t Vol. XXVII O shaw a, O ntario Add to Reading List Source URL: docs.adventistarchives.org Language: English - Date: 2013-10-15 15:09:16 Philosophical logic Seventh-day Adventist theology Spaceflight Mathematics Knuth–Morris–Pratt algorithm Apollo 11 goodwill messages Logic Modal logic Non-classical logic
377	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
378	Explaining Explanation Closure Patrick Doherty1 and Witold L ukaszewicz2 and Andzrej Szalas2 1 Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:18 Non-classical logic Mathematics Knowledge representation Epistemology Artificial intelligence Frame problem Circumscription Situation calculus Axiom Logic Mathematical logic Logic programming
379	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
380	Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-06-27 10:05:13 Modal logic Non-classical logic Common knowledge Multi-agent system Model checking Temporal logic Proposition Kripke semantics Logic Mathematical logic Philosophical logic

UPDATE